39.42/42.19	unsat
