12.86/15.12	unsat
