11.93/12.33	unsat
