18.87/25.44	unsat
