15.56/19.97	unsat
