39.15/42.39	unsat
