5.86/6.28	unsat
