16.34/16.40	unsat
