12.97/16.24	unsat
