11.86/12.07	unsat
