18.57/21.33	unsat
