10.98/11.42	unsat
