4.85/5.03	unsat
