7.40/11.19	unsat
