11.78/11.82	unsat
