16.96/21.77	unsat
