4.86/5.18	unsat
