40.16/42.14	unsat
