3.18/5.03	unsat
