12.96/15.36	unsat
