11.34/11.42	unsat
