12.97/16.43	unsat
