39.87/43.65	unsat
