11.85/14.36	unsat
