12.76/16.24	unsat
