13.87/23.44	unsat
