36.86/40.40	unsat
