79.86/83.28	unsat
