13.96/15.12	unsat
