1.49/3.03	unsat
