16.34/16.46	unsat
