18.56/21.55	unsat
