17.67/21.15	unsat
