15.75/20.67	unsat
