23.79/39.46	unsat
