4.98/5.03	unsat
