19.87/23.44	unsat
