10.68/11.04	unsat
