42.86/44.37	unsat
