1.28/3.03	unsat
