4.66/5.03	unsat
