11.86/14.28	unsat
