7.25/11.03	unsat
