8.49/11.03	unsat
