1.09/3.03	unsat
