12.86/14.74	unsat
