36.33/39.47	unsat
