4.78/5.03	unsat
