11.85/13.47	unsat
