5.86/10.13	unsat
