3.86/3.97	unsat
