39.69/54.28	unsat
